Formal Universes
نویسنده
چکیده
This essay addresses the concerns of the foundations of mathematics of the early 20th century which led to the creation of formally axiomatized universes. These are confronted with contemporary developments, particularly in computational logic and neuroscience. Our approach uses computational models of mental experiments with the infinite in set-theory and symbol-manipulation systems, in particular models of
منابع مشابه
Regular universes and formal spaces
We present an alternative solution to the problem of inductive generation of covers in formal topology by using a restricted form of type universes. These universes are at the same time constructive analogues of regular cardinals and sets of in nitary formulae. MSC: 03F65, 54A05.
متن کاملROUGH SET OVER DUAL-UNIVERSES IN FUZZY APPROXIMATION SPACE
To tackle the problem with inexact, uncertainty and vague knowl- edge, constructive method is utilized to formulate lower and upper approx- imation sets. Rough set model over dual-universes in fuzzy approximation space is constructed. In this paper, we introduce the concept of rough set over dual-universes in fuzzy approximation space by means of cut set. Then, we discuss properties of rough se...
متن کاملTopos-theoretic Model of the Deutsch multiverse
The Deutsch multiverse is collection of parallel universes. In this article a formal theory and a topos-theoretic model of the Deutsch multiverse are given. For this the LawvereKock Synthetic Differential Geometry and topos models for smooth infinitesimal analysis are used. Physical properties of multi-variant and many-dimensional parallel universes are discussed. Quantum fluctuations of univer...
متن کاملMulti-granulation fuzzy probabilistic rough sets and their corresponding three-way decisions over two universes
This article introduces a general framework of multi-granulation fuzzy probabilistic roughsets (MG-FPRSs) models in multi-granulation fuzzy probabilistic approximation space over twouniverses. Four types of MG-FPRSs are established, by the four different conditional probabilitiesof fuzzy event. For different constraints on parameters, we obtain four kinds of each type MG-FPRSs...
متن کاملCosmological natural selection and the purpose of the universe
The cosmological natural selection (CNS) hypothesis holds that the fundamental constants of nature have been fine-tuned by an evolutionary process in which universes produce daughter universes via the formation of black holes. Here, we formulate the CNS hypothesis using standard mathematical tools of evolutionary biology. Specifically, we capture the dynamics of CNS using Price’s equation, and ...
متن کاملQuantized norms and generalized relational composition on dense universes
Decision-making procedure based on fuzzy relational composition may require that the involved connectives are not idempotent to handle signi cant information properly. Yet, non-idempotence may result in meaningless inference when the universes of discourse are dense. Here we propose a novel kind of connective and a formal de nition of relational composition for dense universes of discourse whic...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015